Displacement Calculus
نویسندگان
چکیده
The Lambek calculus L provides a foundation for categorial grammar in the form of a logic of concatenation. But natural language is characterized by dependencies which may also be dis-continuous. In this paper we introduce the displacement calculus D, a generalization of Lambek calculus, which preserves the good proof-theoretic properties of the latter while embracing dis-continuiity and subsuming L. We illustrate linguistic applications and prove Cut-elimination, the subformula property, and decid-ability
منابع مشابه
Proof Nets for the Displacement Calculus
The Displacement calculus was introduced by Morrill, Valent́ın & Fadda (2011) as an extension of the Lambek calculus with discontinuous operators. These discontinuous connectives allow the Displacement calculus to solve a large number of problems with the Lambek calculus. Examples of the phenomena treated by Morrill et al. (2011) include discontinuous idioms (such as “ring up” and “give the cold...
متن کاملLogic Programming of the Displacement Calculus
The displacement calculus of Morrill, Valent́ın and Fadda (2011)[12] forms a foundation for type logical categorial grammar in which discontinuity is accommodated alongside continuity in a logic which is free of structural rules and which enjoys Cut-elimination, the subformula property, decidability, and the finite reading property. The calculus deploys a new kind of sequent calculus which we ca...
متن کاملModels for the Displacement Calculus
The displacement calculus D is a conservative extension of the Lambek calculus L1 (with empty antecedents allowed in sequents). L1 can be said to be the logic of concatenation, while D can be said to be the logic of concatenation and intercalation. In many senses, it can be claimed that D mimics L1 in that the proof theory, generative capacity and complexity of the former calculus are natural e...
متن کاملA strand graph semantics for DNA-based computation
DNA nanotechnology is a promising approach for engineering computation at the nanoscale, with potential applications in biofabrication and intelligent nanomedicine. DNA strand displacement is a general strategy for implementing a broad range of nanoscale computations, including any computation that can be expressed as a chemical reaction network. Modelling and analysis of DNA strand displacemen...
متن کاملGeneralized Discontinuity
We define and study a calculus of discontinuity, a version of displacement calculus, which is a logic of segmented strings in exactly the same sense that the Lambek calculus is a logic of strings. Like the Lambek calculus, the displacement calculus is a sequence logic free of structural rules, and enjoys Cut-elimination and its corollaries: the subformula property, decidability, and the finite ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1004.4181 شماره
صفحات -
تاریخ انتشار 2010